Part I of the Fundamental Theorem says that we can use antiderivatives to compute definite integrals. Part II turns this relationship around: It tells us that we can use the definite integral to construct antiderivatives.
To state Part II, we introduce the area function of \(f\) with lower limit \(a\): \[ \boxed{\bbox[#FAF8ED,5pt]{\displaystyle \int\limits_a^x f(t) \ dt = \text{sum and difference of the areas between the graph of \(f(x)\) and the \(x\)-axis from \(a\) to \(x\)} }} \]
\(A(x)\) is sometimes called the cumulative area function. In the definition of \(A(x)\), we use \(t\) as the variable of integration to avoid confusion with \(x\), which is the upper limit of integration. In fact, \(t\) is a dummy variable and may be replaced by any other variable.
In essence, we turn the definite integral into a function by treating the upper limit \(x\) as a variable (Figure 5.35). Note that \(A(a) = 0\) because \(A(a) = \int_a^a f(t)dt = 0\).
In some cases we can find an explicit formula for \(A(x)\) (Figure 5.36).
Find a formula for the area function \(\displaystyle A(x) = \int\limits_3^x t^2 dt\).
Solution The function \(F(t) = \tfrac13t^3\) is an antiderivative for \(f(t) = t^{2}\). By FTC I, \[ A(x) = \int\limits_3^x t^2 dt = F(x) - F(3) = \dfrac13 x^3 - \dfrac13 \cdot 3^3 = \dfrac13 x^3-9 \]
Note, in the previous example, that the derivative of \(A(x)\) is \(f(x)\) itself: \[ A'(x) = \dfrac{d}{dx} \left(\dfrac13 x^3 - 9\right) = x^2 \]
FTC II states that this relation always holds: The derivative of the area function is equal to the original function.
Assume that \(f(x)\) is continuous on an open interval \(I\) and let \(a \in I\). Then the area function \[ \boxed{\bbox[#FAF8ED,5pt]{\displaystyle A(x) = \int\limits_a^x f(t) \ dt}} \] is an antiderivative of \(f(x)\) on \(I\); that is, \(A'(x) = f(x)\). Equivalently, \[ \boxed{\bbox[#FAF8ED,5pt]{\displaystyle \dfrac{d}{dx} \int\limits_a^x f(t) \ dt = f(x)}} \] Furthermore, \(A(x)\) satisfies the initial condition \(A(a) = 0\).
317
First, we use the additivity property of the definite integral to write the change in \(A(x)\) over \([x, x + h]\) as an integral: \[ A(x+h) - A(x) = \int\limits_a^{x+h} f(t) dt - \int\limits_a^{x} f(t) dt = \int\limits_x^{x+h}f(t) dt \] In other words, \(A(x + h) -A(x)\) is equal to the area of the thin sliver between the graph and the \(x\)-axis from \(x\) to \(x + h\) in Figure 5.37.
To simplify the rest of the proof, we assume that \(f(x)\) is increasing (see Exercise 50 for the general case). Then, if \(h > 0\), the area of this thin sliver lies between the areas of the two rectangles of width \(h\) and heights \(f(x)\) and \(f(x + h)\) in Figure 5.38, and we have \[ \underbrace{h \cdot f(x)}_{\text{Area of smaller rectangle}} \leq \underbrace{A(x+h) - A(x)}_{\text{Area of thin sliver}} \leq \underbrace{h \cdot f(x+h)}_{\text{Area of larger rectangle}} \]
In this proof, \[ \begin{aligned} A(x) & =\int\limits_a^x f(t) dt \\ A(x+h) - A(x) & = \int\limits_x^{x+h} f(t) dt \\ A'(x) & = \lim\limits_{h\rightarrow 0} \dfrac{A(x+h) - A(x)}{h} \end{aligned} \]
Now divide by \(h\) to squeeze the difference quotient between \(f(x)\) and \(f(x + h)\): \[ f(x) \leq \dfrac{A(x+h) - A(x)}{h} \leq f(x+h) \] We have \(\lim\limits_{h \rightarrow 0^+} f(x+h) = f(x)\) because \(f(x)\) is continuous, and \(\lim\limits_{h \rightarrow 0^+} f(x) = f(x)\), so the Squeeze Theorem gives us \[ \lim\limits_{h \rightarrow 0^+} \dfrac{A(x+h) - A(x)}{h} = f(x)\tag{1} \] A similar argument shows that for \(h < 0\), \[ f(x+h) \leq \dfrac{A(x+h) - A(x)}{h} \leq f(x) \] Again, the Squeeze Theorem gives us \[ \lim\limits_{h \rightarrow 0^-} \dfrac{A(x+h) - A(x)}{h} = f(x)\tag{2} \] Equations (1) and (2) show that \(A'(x)\) exists and \(A'(x) = f(x)\).
Many applications (in the sciences, engineering, and statistics) involve functions for which there is no explicit formula. Often, however, these functions can be expressed as definite integrals (or as infinite series). This enables us to compute their values numerically and create plots using a computer algebra system. Figure 5.39 shows a computer-generated graph of an antiderivative of \(f(x) = \sin(x^{2})\), for which there is no explicit formula.
318
Let \(F(x)\) be the particular antiderivative of \(f(x) = \sin (x^{2})\) satisfying \(F(-\sqrt\pi) = 0\). Express \(F(x)\) as an integral.
Solution According to FTC II, the area function with lower limit \(a=-\sqrt\pi\) is an anti-derivative satisfying \(F(-\sqrt\pi) = 0\): \[ F(x) = \int\limits_{-\sqrt\pi}^x\sin(t^2)dt \]
Find the derivative of \[ A(x) = \int\limits_2^x \sqrt{1+t^3}dt \] and calculate \(A'(2)\), \(A'(3)\), and \(A(2)\).
Solution By FTC II, \(A'(x) = \sqrt{1+x^3}\). In particular, \[ A'(2) = \sqrt{1+2^3} = 3 \quad\text{and}\quad A'(3) = \sqrt{1+3^3} = \sqrt{28} \] On the other hand, \(\displaystyle A(2) = \int\limits_2^2 \sqrt{1+t^3} dt= 0\).
The FTC shows that integration and differentiation are inverse operations. By FTC II, if you start with a continuous function \(f(x)\) and form the integral \(\int_a^xf(t)dt\), then you get back the original function by differentiating: \[ f(x) \xrightarrow{\text{Integrate}}\int\limits_a^xf(t)dt \xrightarrow{\text{Differentiate}} \dfrac{d}{dx} \int\limits_a^xf(t)dt = f(x) \] On the other hand, by FTC I, if you differentiate first and then integrate, you also recover \(f(x)\) [but only up to a constant \(f(a)\)]: \[ f(x) \xrightarrow{\text{Differentiate}} f'(x) \xrightarrow{\text{Integrate}} \int\limits_a^xf'(t)dt = f(x) - f(a) \]
When the upper limit of the integral is a function of x rather than x itself, we use FTC II together with the Chain Rule to differentiate the integral.
Find the derivative of \[ G(x) = \int\limits_{-2}^{x^2} \sin t \ dt \]
Solution FTC II does not apply directly because the upper limit is \(x^{2}\) rather than \(x\). It is necessary to recognize that \(G(x)\) is a composite function with outer function \(A(x) =\int \limits_{-2}^x \sin t \ dt \): \[ G(x) = A(x^2) = \int \limits_{-2}^{x^2} \sin t dt \] FTC II tells us that \(A'(x) = \sin x\), so by the Chain Rule, \[ G'(x) = A'(x^{2}) \cdot (x^{2})' = \sin(x^{2}) \cdot (2x) = 2x \sin(x^{2}) \] Alternatively, we may set \(u = x^{2}\) and use the Chain Rule as follows: \[ \dfrac{dG}{dx} = \dfrac{d}{dx} \int\limits_{-2}^{x^2} \sin t dt = \left(\dfrac{d}{du}\int\limits_{-2}^{u} \sin t dt\right) \dfrac{du}{dx} = (\sin u)2x = 2x\sin(x^2) \]
319
FTC II tells us that \(A'(x) = f(x)\), or, in other words, \(f(x)\) is the rate of change of \(A(x)\). If we did not know this result, we might come to suspect it by comparing the graphs of \(A(x)\) and \(f(x)\). Consider the following:
These observations show that \(f(x)\) “behaves” like \(A'(x)\), as claimed by FTC II.